well ordered function

n.完序函数